Nuprl Definition : function def
12,41
postcript
pdf
x
:
A
B
(
x
) is Primitive
latex
FDL editor aliases
dfun
origin
B(x) is Primitive B(x) is Primitive